|
Your search returned 9 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1999 Volume number : 25 Issue: 05 |
A Highly Available Local Leader Election Service
(Article)
Subject:
Local Leader Election
,
Global Life-Long
,
Timed-Atpg-Based
Author:
Christof
Fetzer
Flaviu
Cristian
page:
603
-
618
Hierachical Simulation Approach To Accurate Fault Modeling For System Dependability Evaluation
(Article)
Subject:
Hierarchical Simulator
,
Fault Dictionaries
,
Dependability
Author:
Zbigniew
Kalbarczyk
Gregory L.
Ries
Myeong S.
Lee
page:
619
-
632
Experimenting With Quantitative Evaluation Tools For Monitoring Operational Security
(Article)
Subject:
Security Assessment
,
Operational Model
,
Privileged Classes
,
Quantitative Evaluation
Author:
Rodolphe
Ortalo
Mohamed
Kaaniche
Yves
Deswarte
page:
633
-
650
Systematic Formal Verification For Fault-Tolerant Time-Triggered Algorithms
(Article)
Subject:
Formal Methods
,
Formal Verification
,
Time-Triggered Policy
Author:
John
Rushby
page:
651
-
660
Partition Testing Vs. Random Resting The Influence Of Uncertainty
(Article)
Subject:
Fault Detection
,
Partitioning
,
Software Testing
Author:
Walter J.
Gutjahr
page:
661
-
674
A Critique Of Software Degect Prediction Models
(Article)
Subject:
Software Faults And Failures
,
Defects
,
Bayesian Belief Nets
Author:
Norman E.
Fenton
Martin
Neil
page:
675
-
689
Performance And Stability Analysis Of Multileve Data Structures With Deferred Reorganization
(Article)
Subject:
Queueing Servers
,
Multilevel Data Structures
,
Atomic Ordering
Author:
Ing-Ray
Chen
Sayed A.
Banawan
page:
690\
-
700
Statically Safe Speculative Execution For Real- Time Systems
(Article)
Subject:
Real-Time Systems
,
Speculative
,
Distributed Computation
Author:
Mohamed F.
Younis
Alexander D.
Stoyen
Grace
Tsai
page:
701
-
721
Defining And Validating Measures For Object-Based High-Level Design
(Article)
Subject:
Measurement
,
Cohesion
,
Object-Based Design
,
Coupling
Author:
Lionel C.
Briand
Sandro
Morasca
page:
722
-
743
|
|
| | |